Словарь по логике - сложное высказывание

высказывание, полученное с помощью логических связок из простых высказываний. Наиболее употребительны С. в., образованные с помощью слов: "и", "или", "если, то", "если и только если", "не". Вместо этих слов в логике используются символы: &, v, ->, >, ~. С. в. А& В называется конъюнкцией ("А и В"), A v В дизъюнкцией ("А или В"), А -> В импликацией ("Если A, то В"), А = В эквивалентностью ("А, если и только если В"), ~ А отрицанием ("Неверно, что A", или "не-A").

Установление смысла и способа употребления логических связок, позволяющих образовывать С. в., является задачей наиболее фундаментальной и вместе с тем самой простой части логики исчисления высказываний.